#include<stdio.h>

int main(void)
{
	int n=0,max,t;
	while( scanf("%d",&t)!=EOF)
	{
		if(n)
		{
			if(t>max)
				max=t;
		}
		else
		{
			max=t;
		}
		n++;
	}
	printf("%d %d\n",n,max);
	return 0;
}
